Nets-Within-Nets Paradigm and Grid Computing
نویسندگان
چکیده
Grid is one of the most e ective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing the speci c aspects of the Grid. In this paper we describe a Grid tool for High Energy Physics data analysis, and we show how modeling its architecture with nets-withinnets has led us to identify and solve a number of defects a ecting the current implementation.
منابع مشابه
Mobile Object Net Systems: Petri Nets as Active Tokens
In this work we present the model of “mobile object net systems” – an algebraic formalisation of the “nets within nets”-paradigm, which is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of “nets within nets” covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile c...
متن کاملHypernets: a Class of Hierarchical Petri Nets
The interest of this thesis is on modeling systems of mobile agents, systems composed of several open and autonomous components which can interact and move inside one or more environments. Several proposal for modeling mobility have been introduced. They can be roughly divided in two categories: Petri net based formalisms, and process algebra based formalisms. In this thesis, Petri net formalis...
متن کاملReachable Markings of Object Petri Nets
In this article I will prove undecidability results for elementary object net systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach which is called the “nets-within-nets” paradigm. Eos are special object net system which have a two leveled structure.
متن کاملAdaptive Workflow Nets for Grid Computing
Existing grid applications commonly use workflows for the orchestration of grid services. Existing workflow models however suffer from the lack of adaptivity. In this paper we define Adaptive Grid Workflow nets (AGWF nets) appropriate for modeling grid workflows and allowing changes in the process structure as a response to triggering events/exceptions. Moreover, a recursion is allowed, which m...
متن کاملObject Petri Nets: Using the Nets-within-Nets Paradigm
The nets-within-nets paradigm provides an innovative modelling technique by giving tokens themselves the structure of a Petri net. These nets, called token nets or object nets, also support the object oriented modelling technique as they may represent real world objects with a proper dynamical behaviour. Between object nets and the surrounding net, called system net, various interaction mechani...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Trans. Petri Nets and Other Models of Concurrency
دوره 5 شماره
صفحات -
تاریخ انتشار 2010